frank pfenning Frank Pfenning's Documents - EPDF.PUB

Frank Pfenning's Documents

Frank Pfenning's Documents

Logic Programming and Automated Reasoning: 5th International Conference, LPAR '94, Kiev, Ukraine, July 16 - 22, 1994. Proceedings

Logic Programming and Automated Reasoning: 5th International Conference, LPAR '94, Kiev, Ukraine, July 16 - 22, 1994. Proceedings
Read more
Automated deduction -- CADE-21: 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007 : proceedings (Lecture Notes in Artificial Intelligence 4603)

Automated deduction -- CADE-21: 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007 : proceedings (Lecture Notes in Artificial Intelligence 4603)
Read more
Term Rewriting and Applications, 17 conf., RTA 2006

Term Rewriting and Applications, 17 conf., RTA 2006
Read more
Automated Deduction - CADE-21: 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007, Proceedings

Automated Deduction - CADE-21: 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007, Proceedings
Read more
Generative Programming and Component Engineering: Second International Conference, GPCE 2003, Erfurt, Germany, September 22-25, 2003, Proceedings

Generative Programming and Component Engineering: Second International Conference, GPCE 2003, Erfurt, Germany, September 22-25, 2003, Proceedings
Read more
Mathematical methods in image reconstruction

Mathematical methods in image reconstruction
Read more
The Tragedy of Liberation: A History of the Chinese Revolution, 1945-1957

The Tragedy of Liberation: A History of the Chinese Revolution, 1945-1957
Read more
Mathematical methods in image reconstruction

Mathematical methods in image reconstruction
Read more
Mathematical Methods in Image Reconstruction

Mathematical Methods in Image Reconstruction
Read more
Mathematical Methods in Image Reconstruction (Monographs on Mathematical Modeling and Computation)

Mathematical Methods in Image Reconstruction (Monographs on Mathematical Modeling and Computation)
Read more
N-Heterocyclic Carbenes in Transition Metal Catalysis

N-Heterocyclic Carbenes in Transition Metal Catalysis
Read more
Kindernotfalle im Rettungsdienst, 3. Auflage (German Edition)

Kindernotfalle im Rettungsdienst, 3. Auflage (German Edition)
Read more
Redesigning Asian Business: In the Aftermath of Crisis

Redesigning Asian Business: In the Aftermath of Crisis
Read more
Mathematical Theory of Nonblocking Switching Networks

Mathematical Theory of Nonblocking Switching Networks
Read more
Mathematical Theory of Nonblocking Switching Networks

Mathematical Theory of Nonblocking Switching Networks
Read more
Stochastic Processes in Science, Engineering and Finance

Stochastic Processes in Science, Engineering and Finance
Read more
Die Asche meiner Mutter

Die Asche meiner Mutter
Read more
Oczy Heisenberga

Oczy Heisenberga
Read more
The Visitation

The Visitation
Read more
Janrae Frank - Dark Brothers of the Light 02 - Bloood Heresy

Janrae Frank - Dark Brothers of the Light 02 - Bloood Heresy
Read more
Amethist

Amethist
Read more
Heretycy Diuny

Heretycy Diuny
Read more
Fireborn Law (Lycan Blood 02)

Fireborn Law (Lycan Blood 02)
Read more